regular language closure